<div>
    Use WebSocket to connect agents rather than the TCP port.
    See <a href="https://jenkins.io/jep/222">JEP-222</a> for background.
</div>
